შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Modal Logic

Modal Logic

Patrick Blackburn, Maarten de Rijke, Yde Venema
წელი:
2002
ენა:
english
ფაილი:
PDF, 2.73 MB
0 / 5.0
english, 2002
2
Modal logic

Modal logic

Venema, Yde, Rijke, Maarten de, Blackburn, Patrick
წელი:
2010
ენა:
english
ფაილი:
PDF, 2.22 MB
0 / 0
english, 2010
3
Many-Dimensional Modal Logic [PhD Thesis]

Many-Dimensional Modal Logic [PhD Thesis]

Yde Venema
წელი:
1992
ენა:
english
ფაილი:
PDF, 5.00 MB
0 / 0
english, 1992
4
Modal logic and process algebra: a bisimulation perspective

Modal logic and process algebra: a bisimulation perspective

Alban Ponse, Maarten de Rijke, Yde Venema
წელი:
1995
ენა:
english
ფაილი:
PDF, 14.82 MB
0 / 0
english, 1995
5
Algebras and Coalgebras

Algebras and Coalgebras

Yde Venema
წელი:
2005
ენა:
english
ფაილი:
PDF, 825 KB
0 / 0
english, 2005
6
Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Patrick Blackburn, Maarten de Rijke, Yde Venema
წელი:
2001
ენა:
english
ფაილი:
PDF, 3.64 MB
0 / 5.0
english, 2001
7
Modal Logic and Process Algebra

Modal Logic and Process Algebra

Alban Ponse, Maarten de Rijke, Yde Venema
წელი:
1995
ენა:
english
ფაილი:
PDF, 12.39 MB
0 / 0
english, 1995
8
Modal logic and process algebra: A bisimulation perspective

Modal logic and process algebra: A bisimulation perspective

Alban Ponse, Maarten de Rijke, Yde Venema
წელი:
1995
ენა:
english
ფაილი:
DJVU, 2.25 MB
0 / 0
english, 1995
9
Many-Dimensional Modal Logic [PhD Thesis]

Many-Dimensional Modal Logic [PhD Thesis]

Yde Venema
წელი:
1992
ენა:
english
ფაილი:
DJVU, 2.25 MB
0 / 0
english, 1992
10
Modal Logic

Modal Logic

Patrick Blackburn, Maarten de Rijke, Yde Venema
წელი:
1998
ენა:
english
ფაილი:
PDF, 2.60 MB
0 / 0
english, 1998
11
Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
წელი:
2007
ენა:
english
ფაილი:
PDF, 4.01 MB
0 / 0
english, 2007
12
Multi-Dimensional Modal Logic

Multi-Dimensional Modal Logic

Maarten Marx, Yde Venema (auth.)
წელი:
1997
ენა:
english
ფაილი:
PDF, 8.24 MB
5.0 / 0
english, 1997